Section: Dissemination

Scientific Animation

• Frédéric Blanqui was member of the Steering Committee of the International Conference on Rewriting Techniques and Applications (RTA) for 3 years until June 2013.

• Frédéric Blanqui was invited to present his work on “the formalization of λ-calculus and Tait-Girard's notion of computability” at the 3rd Workshop on Proof Theory and Rewriting (PR), March 2013, Kanazawa, Japan.

• Vania Joloboff has organized a LIAMA Open Day in Shanghai in May 2013, in collaboration with East China Normal University.